Logrippo, S: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets

Shaikh, Riaz Ahmed, Adi, Kamel, Logrippo, Luigi

Journal:

International Journal of Information Security

Year:

2017

Language:

english

File:

PDF, 3.03 MB

english, 2017

2

Characteristics of Collaboration Among Academic and Practice Partners: A Pilot Study

Manzetti, Colleen, LoGrippo, Maria Torchia

Journal:

Teaching and Learning in Nursing

Year:

2017

Language:

english

File:

PDF, 214 KB

english, 2017

3

Three tutorial papers on protocol specification, validation, and design

Luigi Logrippo, Robert L Probert, Hasan Ural

Journal:

Computer Networks and ISDN Systems

Year:

1992

Language:

english

File:

PDF, 203 KB

english, 1992

4

Group communication models

Kazi Farooqui, Luigi Logrippo

Journal:

Computer Communications

Year:

1996

Language:

english

File:

PDF, 1.53 MB

english, 1996

5

[Lecture Notes in Computer Science] Foundations and Practice of Security Volume 10723 || Attack Graph-Based Countermeasure Selection Using a Stateful Return on Investment Metric

Imine, Abdessamad, Fernandez, José M., Marion, Jean-Yves, Logrippo, Luigi, Garcia-Alfaro, Joaquin

Year:

2018

Language:

english

File:

PDF, 775 KB

english, 2018

6

[Lecture Notes in Computer Science] Foundations and Practice of Security Volume 10723 || Privacy-Preserving Equality Test Towards Big Data

Imine, Abdessamad, Fernandez, José M., Marion, Jean-Yves, Logrippo, Luigi, Garcia-Alfaro, Joaquin

Year:

2018

Language:

english

File:

PDF, 698 KB

english, 2018

7

A partnership to assess clinical nurse leadership skills

Logrippo, Maria, Kelly, Sarah, Sardinas, Nicole, Naft, Molly

Journal:

Nursing Management (Springhouse)

Year:

2018

Language:

english

File:

PDF, 3.24 MB

english, 2018

8

Data flow analysis from capability lists, with application to RBAC

Stambouli, Abdelouadoud, Logrippo, Luigi

Journal:

Information Processing Letters

Year:

2019

Language:

english

File:

PDF, 943 KB

english, 2019

9

An introduction to LOTOS: learning by examples

L Logrippo, M Faci, M Haj-Hussein

Journal:

Computer Networks and ISDN Systems

Year:

1992

Language:

english

File:

PDF, 1.34 MB

english, 1992

10

The ISO Reference Model for Open Distributed Processing: an introduction

Kazi Farooqui, Luigi Logrippo, Jan de Meer

Journal:

Computer Networks and ISDN Systems

Year:

1995

Language:

english

File:

PDF, 2.25 MB

english, 1995

11

Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995

Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave

Journal:

Computer Networks and ISDN Systems

Year:

1996

Language:

english

File:

PDF, 1.09 MB

english, 1996

12

Distributed resolution of feature interactions for internet applications

Rui Gustavo Crespo, Miguel Carvalho, Luigi Logrippo

Journal:

Computer Networks

Year:

2007

Language:

english

File:

PDF, 421 KB

english, 2007

13

Use Case Maps and Lotos for the prototyping and validation of a mobile group call system

D. Amyot, L. Logrippo

Journal:

Computer Communications

Year:

2000

Language:

english

File:

PDF, 387 KB

english, 2000

14

Structural models for specifying telephone systems

Mohammed Faci, Luigi Logrippo, Bernard Stepien

Journal:

Computer Networks and ISDN Systems

Year:

1997

Language:

english

File:

PDF, 8.65 MB

english, 1997

15

Formal specification and use case generation for a mobile telephony system

Randall Tuok, Luigi Logrippo

Journal:

Computer Networks and ISDN Systems

Year:

1998

Language:

english

File:

PDF, 814 KB

english, 1998

16

Feature interaction detection: a LOTOS-based approach

Q. Fu, P. Harnois, L. Logrippo, J. Sincennes

Journal:

Computer Networks

Year:

2000

Language:

english

File:

PDF, 329 KB

english, 2000

17

Future wireless networks

Luigi Logrippo, John Visser

Journal:

Computer Networks

Year:

2000

Language:

english

File:

PDF, 87 KB

english, 2000

18

Understanding GPRS: the GSM packet radio service

Brahim Ghribi, Luigi Logrippo

Journal:

Computer Networks

Year:

2000

Language:

english

File:

PDF, 652 KB

english, 2000

19

Graphic visualization and animation of LOTOS execution traces

Bernard Stepien, Luigi Logrippo

Journal:

Computer Networks

Year:

2002

Language:

english

File:

PDF, 239 KB

english, 2002

20

Cluster analysis for the computer-assisted statistical analysis of melodies

Luigi Logrippo, Bernard Stepien

Journal:

Language Resources and Evaluation

Year:

1986

Language:

english

File:

PDF, 987 KB

english, 1986

21

Deriving use cases for distributed systems from knowledge requirements

Xiao Jun Chen, Luigi Logrippo

Journal:

annals of telecommunications - annales des télécommunications

Year:

2000

Language:

english

File:

PDF, 1.01 MB

english, 2000

22

Foreword

Kamel Adi, Daniel Amyot, Luigi Logrippo

Journal:

annals of telecommunications - annales des télécommunications

Year:

2006

Language:

english

File:

PDF, 880 KB

english, 2006

23

Concrete- and abstract-based access control

Yacine Bouzida, Luigi Logrippo, Serge Mankovski

Journal:

International Journal of Information Security

Year:

2011

Language:

english

File:

PDF, 335 KB

english, 2011

24

Detecting feature interaction in CPL

Nicolas Gorse, Luigi Logrippo, Jacques Sincennes

Journal:

Software & Systems Modeling

Year:

2006

Language:

english

File:

PDF, 322 KB

english, 2006

25

Formal detection of feature interactions with logic programming and LOTOS

Nicolas Gorse, Luigi Logrippo, Jacques Sincennes

Journal:

Software & Systems Modeling

Year:

2006

Language:

english

File:

PDF, 90 KB

english, 2006

26

Formal specification of telephone systems in LOTOS: the constraint-oriented style approach

Mohammed Faci, Luigi Logrippo, Bernard Stepien

Journal:

Computer Networks and ISDN Systems

Year:

1991

Language:

english

File:

PDF, 1.01 MB

english, 1991

27

Personalization of internet telephony services for presence with SIP and extended CPL

Dongmei Jiang, Ramiro Liscano, Luigi Logrippo

Journal:

Computer Communications

Year:

2006

Language:

english

File:

PDF, 1.70 MB

english, 2006

28

Directions in feature interaction research

Daniel Amyot, Luigi Logrippo

Journal:

Computer Networks

Year:

2004

Language:

english

File:

PDF, 248 KB

english, 2004

29

Policy-enabled mechanisms for feature interactions: reality, expectations, challenges

Petre Dini, Alexander Clemm, Tom Gray, Fuchun Joseph Lin, Luigi Logrippo, Stephan Reiff-Marganiec

Journal:

Computer Networks

Year:

2004

Language:

english

File:

PDF, 394 KB

english, 2004

30

Generation of test purposes from Use Case Maps

Daniel Amyot, Luigi Logrippo, Michael Weiss

Journal:

Computer Networks

Year:

2005

Language:

english

File:

PDF, 572 KB

english, 2005

31

Detecting feature interactions in CPL

Yiqun Xu, Luigi Logrippo, Jacques Sincennes

Journal:

Journal of Network and Computer Applications

Year:

2007

Language:

english

File:

PDF, 302 KB

english, 2007

32

An interpreter for LOTOS, a specification language for distributed systems

L. Logrippo, A. Obaid, J. P. Briand, M. C. Fehri

Journal:

Software: Practice and Experience

Year:

1988

Language:

english

File:

PDF, 1.23 MB

english, 1988

33

Dynamic risk-based decision methods for access control systems

Riaz Ahmed Shaikh, Kamel Adi, Luigi Logrippo

Journal:

Computers & Security

Year:

2012

Language:

english

File:

PDF, 4.06 MB

english, 2012

34

Virus Infected Erythrocytes Sterilized with Betaprone (BPL) I. Effect on in-vitro Storage and in-vivo Survival

Dr. G. A. LoGrippo, D. H. Basinski, Clarence E. Rupe

Journal:

Year:

1963

File:

PDF, 460 KB

1963

35

Attitudes of Italian gynaecologists towards prophylactic oophorectomy at hysterectomy for non-malignant conditions

Luca Fuso, Simona Mazzola, Annamaria Ferrero, Alessandra Magistris, Maria Elena Jacomuzzi, Alice Peroglio Carus, Daniela Dompè, Francesco Marocco, Vilma Logrippo, Paolo Zola

Journal:

European Journal of Obstetrics & Gynecology and Reproductive Biology

Year:

2006

Language:

english

File:

PDF, 200 KB

english, 2006

36

Specifying telephone systems in LOTOS

Boumezbeur, R., Logrippo, L.

Journal:

IEEE Communications Magazine

Year:

1993

Language:

english

File:

PDF, 1.07 MB

english, 1993

37

File Structures, Program Structures, and Attributed Grammars

Logrippo, L., Skuce, D.R.

Journal:

IEEE Transactions on Software Engineering

Year:

1983

Language:

english

File:

PDF, 2.62 MB

english, 1983

38

[IEEE 2012 Tenth Annual International Conference on Privacy, Security and Trust (PST) - Paris, France (2012.07.16-2012.07.18)] 2012 Tenth Annual International Conference on Privacy, Security and Trust - Platform for privacy preferences (P3P): Current status and future directions

Olurin, Muyiwa, Adams, Carlisle, Logrippo, Luigi

Year:

2012

Language:

english

File:

PDF, 519 KB

english, 2012

39

Ring 1 chromosome and dwarfism—a possible syndrome

Charles B. Wolf, James A. Peterson, Gerald A. LoGrippo, Lester Weiss

Journal:

The Journal of Pediatrics

Year:

1967

Language:

english

File:

PDF, 1.16 MB

english, 1967

40

Primary biliary cirrhosis: Immunoglobulins in surgical appraisal

Melvin A. Block, Gerald A. LoGrippo, Thomas A. Fox Jr.

Journal:

The American Journal of Surgery

Year:

1969

Language:

english

File:

PDF, 1.56 MB

english, 1969

41

Self-Assembly of Rationally Designed Peptides under Two-Dimensional Confinement

Leon, Lorraine, Logrippo, Philip, Tu, Raymond

Journal:

Biophysical Journal

Year:

2010

Language:

english

File:

PDF, 499 KB

english, 2010

42

INVESTIGATIONS OF THE USE OF BETA-PROPIOLACTONE IN VIRUS INACTIVATION*

LoGrippo, Gerald A.

Journal:

Annals of the New York Academy of Sciences

Year:

2006

Language:

english

File:

PDF, 898 KB

english, 2006

43

[IEEE 2011 Ninth Annual International Conference on Privacy, Security and Trust - Montreal, QC (2011.07.19-2011.07.21)] 2011 Ninth Annual International Conference on Privacy, Security and Trust - Risk-based decision method for access control systems

Shaikh, Riaz Ahmed, Adi, K., Logrippo, L., Mankovski, Serge

Year:

2011

Language:

english

File:

PDF, 1.37 MB

english, 2011

44

A framework for risk assessment in access control systems

Khambhammettu, Hemanth, Boulares, Sofiene, Adi, Kamel, Logrippo, Luigi

Journal:

Computers & Security

Year:

2013

Language:

english

File:

PDF, 415 KB

english, 2013

45

[IEEE Dependable Computing for Critical Applications 7 - San Jose, CA, USA (6-8 Jan. 1999)] Dependable Computing for Critical Applications 7 - Prototyping and formal requirement validation of GPRS: a mobile data packet radio service for GSM

Andriantsiferana, L., Ghribi, B., Logrippo, L.

Year:

1999

Language:

english

File:

PDF, 118 KB

english, 1999

46

[IEEE 2009 Second International Workshop on Requirements Engineering and Law (RELAW) - Atlanta, GA, USA (2009.09.1-2009.09.1)] 2009 Second International Workshop on Requirements Engineering and Law - Governance Requirements Extraction Model for Legal Compliance Validation

Hassan, Waël, Logrippo, Luigi

Year:

2009

Language:

english

File:

PDF, 482 KB

english, 2009

47

[IEEE 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07) - Niagara Falls, ON, Canada (2007.05.21-2007.05.23)] 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07) - An Agent-Based Architecture for Context-Aware Communication

Plesa, Romelia, Logrippo, Luigi

Year:

2007

Language:

english

File:

PDF, 236 KB

english, 2007

48

[IEEE 13th Annual Symposium on Switching and Automata Theory (swat 1972) - USA (1972.10.25-1972.10.27)] 13th Annual Symposium on Switching and Automata Theory (swat 1972) - Renamings in program schemas

Logrippo, Luigi

Year:

1972

Language:

english

File:

PDF, 380 KB

english, 1972

49

[IEEE Comput. Soc. Press [1992] Fifth International Workshop on Computer-Aided Software Engineering - Montreal, Que., Canada (6-10 July 1992)] [1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering - Validation of LOTOS specifications using an interpreter: an application to telephone systems

Boumezbeur, R., Logrippo, L.

Year:

1992

Language:

english

File:

PDF, 1.03 MB

english, 1992

50

[IEEE 2010 IEEE/ACM International Conference on Web Intelligence-Intelligent Agent Technology (WI-IAT) - Toronto, AB, Canada (2010.08.31-2010.09.3)] 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Risk Analysis in Access Control Systems Based on Trust Theories

Ma, J., Logrippo, L., Adi, K., Mankovski, S.

Year:

2010

Language:

english

File:

PDF, 546 KB

english, 2010